Conceptual Graph Rules and Equivalent Rules: A Synthesis
نویسنده
چکیده
This paper is an extended abstract of the talk given at ICCS’09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual graph rules and on the semantically equivalent knowledge constructs in logic and databases, namely rules with existential variables and tuple-generating dependencies. The aim of this presentation is to synthesize main decidability, complexity and algorithmic results obtained on this kind of rules. We emphasize the fact that the graph vision of rules has led to
منابع مشابه
DL-SR: a Lite DL with Expressive Rules: Preliminary Results
Simple conceptual graphs can be seen as a very basic description logic, allowing however for answering conjunctive queries. In the first part of this paper, we translate some results obtained for conceptual graph rules of form “if A then B” into an equivalent DL-based formalism. Then we show that, our algorithms can automatically decide in some cases whether a given DL has the FOL-reducibility ...
متن کاملImproving the Forward Chaining Algorithm for Conceptual Graphs Rules
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order logics, without function symbols. Sound and complete reasonings w.r.t. associated logic formulas are obtained through a kind of graph homomorphism called projection. Conceptual Graphs Rules (or CG rules) are a standard ext...
متن کاملThe Use of Bond Graph Reasoning for the Design of Interdisciplinary Schemes
The increasing occurrence of interdisciplinary product development has removed many traditional constraints and given the designer a much wider freedom of choice of means of satisfying any given statement of requirements. Schemebuilder, a comprehensive, intelligent knowledge-based design package, aims to support the designer in the conceptual through embodiment stages of design, providing guida...
متن کاملA Dynamic Knowledge Approach for Dynamic Business Rules Modeling
Business Rules are formal statements about the data and processes of an enterprise. In an enterprise, business rules are used to represent certain aspects of a business domain (static rules) or business policy (dynamic rules). Hence, regarding problem domains in the organization, business rules are classified into two groups: static and dynamic business rules. The paper introduces a new concept...
متن کاملModelling a Dynamic Process in the Conceptual Graph Model: Extension Needed?
In a food processing chain, a process is a succession of unit operations leading to the food product. As a first step, we will use a single assertional conceptual graph to represent the process steps. But reasoning with expert rules on this assertional graph raises some issues (activation of rules, readability). We propose an extension of the conceptual graph model, in order to introduce the ‘B...
متن کامل